Pair(x,_) = Pair(0, 1)
Pair(_,y) = Pair(0, 1)
Pair(_,_) = Pair(0, 1)
_ = Pair(0, 1)
Pair(Pair(x,_),Pair(_,y)) = Pair((Pair(0, 1)), (Pair(2, 3)))

0
